Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
381	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
382	Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Mathematics Situation calculus Theoretical computer science Formal languages STRIPS Planning Domain Definition Language Frame problem Combinatory logic Action language Artificial intelligence Automated planning and scheduling Logic programming
383	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 ANSI/ISO C Specification Language C programming language Frama-C Program logic Logic in computer science Formal sciences Hoare logic Logic Polyspace Software engineering Computer programming Computing
384	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
385	NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation Sumit Gulwani Mark Marron Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-04 14:26:05 Spreadsheet Formal languages Microsoft Excel Algorithm Regular expression ALGOL 68 Dynamic programming Eval Formula Computing Software engineering Mathematics
386	A Generative Model for Parsing Natural Language to Meaning Representations Luke S. Zettlemoyer Wei Lu1 , Hwee Tou Ng1,2 , Wee Sun Lee1,2 1 CSAIL Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-26 20:13:47 Computational linguistics Speech recognition Cognitive science Semantics Analogy Modal logic N-gram Minimalist program Formal grammar Linguistics Science Logic
387	feature programming languages Cracking the 500-Language Problem Add to Reading List Source URL: www.cs.vu.nl Language: English Compiler construction Formal languages Parsing Parser generators Compiling tools Compiler-compiler COBOL LL parser Recursive descent parser Software engineering Computing Programming language implementation
388	PDF Document Add to Reading List Source URL: www.questionpro.com Language: English - Date: 2012-11-06 01:18:17 Data analysis Natural language processing Statistical natural language processing Formal sciences Text analytics Analytics Survey methodology Usability Web analytics Statistics Science Knowledge
389	Microsoft Word - AbstractionSoSyM1072.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:47:55 Abstraction Philosophy of mind Data management Programming language Abstract art Concept Formal specification Logic simulation Abstraction principle Thought Mind Cognition
390	A Hybrid Japanese Parser with Hand-crafted Grammar and Statistics Hiroshi Kanayama† , Kentaro Torisawa‡∗ , Yutaka Mitsuishi‡ and Jun’ichi Tsujii‡? † Tokyo Research Laboratory, IBM Japan, Ltd. Add to Reading List Source URL: aclweb.org Language: English - Date: 2011-12-29 20:47:46 Compiler construction Parsing Treebank Head-driven phrase structure grammar Parse tree LL parser Natural language processing Grammar Attribute grammar Linguistics Computational linguistics Formal languages

UPDATE